Prover technology Announces Interoperability For Equivalence Checking and Debugging of ASIC, SOC and IC Designs

BURLINGAME, California, January 15, 2003 - Prover™ Technology, a leader in proof engine technology, today announced that its equivalence checking technology, Prover eCheck™ now interoperates with Novas Software's Debussy® Knowledge-Based Debug System. This integration provides end users with an affordable RTL-to-gate equivalence checking solution for verifying design transformations. In the event Prover eCheck finds errors, they are analyzed in the user's existing Debussy debugging environment, eliminating the need to learn a new debugging tool. Subsequently, Prover has joined the Novas Software Harmony Program to formalize their relationship.

“Today, more than ever, enterprises are highly price-sensitive,” said Arne Boralv, President and CTO of Prover Technology, Inc. “Through our partnership with Novas, Prover delivers an affordable, yet state-of-the-art equivalence checking solution that does not require users to pay twice for debugging features.”

Tight integration of the two products offers maximum ease of use while reducing the overall costs associated with equivalence checking technology. At the click of a button, failing compare points found by Prover eCheck are loaded into Debussy and displayed with value annotations, allowing users to efficiently debug failures.

“Our relationship with Prover exemplifies our objective to partner with EDA companies to provide solutions that can readily benefit our customers,” said George Bakewell, Director of Technical Marketing at Novas Software. “By using Debussy with Prover eCheck, customers can easily track down the reasons for design differences to help them to design better and debug faster.”

About Harmony
Novas established its Harmony program in 1999 to lower the cost of EDA tool interoperability. The Harmony program provides developers of verification and other tools with Debussy licenses, engineering support for integration efforts, and ongoing support for mutual customers. Debussy's open application programming interfaces (APIs) ensure that the widest range of chip design and verification solutions can take advantage of its industry-leading debug capabilities.

About Prover Technology
Prover Technology is the world's leading provider of proof engines for tool developers and end users in the EDA and AMD markets. Founded in 1989, Prover Technology is the most experienced company in the field of automated formal verification. Its investors include Intel Capital, London-based MVI, and The Swedish Industrial Development Fund. Prover Technology has offices in Silicon Valley, France, and Sweden (HQ). For more information and Prover office locations, visit Prover Technology's web site at www.prover.com.

About Novas
Novas is the pioneer of knowledge-based debug systems that reduce the functional verification costs for complex IC designs. Building upon the strength of its market-leading Debussy® Knowledge-Based Debug System, Novas' second-generation Verdi^TM Behavior-Based Debug System further improves the efficiency of designers in the system-on-chip era with advanced design exploration and debug capabilities. These allow design teams to better understand and analyze complex or unfamiliar design behavior, and cuts by half or more the time it takes to locate, isolate and understand the root causes of design problems. There are more than 7,000 Novas systems in use today at customer sites worldwide. Novas is headquartered in San Jose, Calif. with offices in Europe, Japan and Asia-Pacific. For more information visit www.novas.com or send email to info@novas.com

Contacts:

Mark Riley
Prover Technology, Inc.
(650) 849-9925
(831) 818-7274 (cell)
mark@prover.com

Lorie Bowlby
Novas Software
(408) 467-7871
lorie@novas.com

Laurie Stanley
(510) 656-0999
laurie@wiredislandpr.com